From inheritance relation to nonaxiomatic logic

نویسنده

  • Pei Wang
چکیده

Non-Axiomatic Reasoning System is an adaptive system that works with insu cient knowledge and resources. At the beginning of the paper, three binary term logics are de ned. The rst is based only on an inheritance relation. The second and the third suggest a novel way to process extension and intension, and they also have interesting relations with Aristotle's syllogistic logic. Based on the three simple systems, a Non-Axiomatic Logic is de ned. It has a term-oriented language and an experience-grounded semantics. It can uniformly represents and processes randomness, fuzziness, and ignorance. It can also uniformly carries out deduction, abduction, induction, and revision.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Abduction in Non-Axiomatic Logic

This paper introduces various inference rules (deduction, abduction, and induction) in NonAxiomatic Logic. These rules are represented in a term-oriented language, and justified according to a common semantic foundation. The implementation and application of these rules are briefly described. Finally, this approach is compared with the other approaches, specially with respect to abduction.

متن کامل

The Logic of Intelligence

Is there an “essence of intelligence” that distinguishes intelligent systems from non-intelligent systems? If there is, then what is it? This chapter suggests an answer to these questions by introducing the ideas behind the NARS (Nonaxiomatic Reasoning System) project. NARS is based on the opinion that the essence of intelligence is the ability to adapt with insufficient knowledge and resources...

متن کامل

Beyond first order logic: From number of structures to structure of numbers: Part II

We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...

متن کامل

Constraints of Behavioural Inheritance

We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design and verification of a system, one should consider an inheritance relation as a property of the system and specify it as an inheritance constraint. To specify the inheritance constraints we offer a logic of behavioural ...

متن کامل

Logical Properties in Defeasible Logic Programming

Logics for nonmonotonic reasoning have often been described by the property they lack—that is, monotonicity—instead of by those they do enjoy. These theories flourished in the early ‘80s in response to the inconveniences incomplete and changing information posed to classic, monotonic approaches. Several nonmonotonic formalisms were introduced in the literature: inheritance networks, default log...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Int. J. Approx. Reasoning

دوره 11  شماره 

صفحات  -

تاریخ انتشار 1994